<?php 
$pageName = basename(__FILE__);
$filetime = filemtime($pageName);
//header("Cache-Control: public, must-revalidate");
header("Cache-Control: no-cache");
/*
$headers = getallheaders();
if(isset($headers['If-Modified-Since'])) {
	$if_modified_since = strtotime($headers['If-Modified-Since']);
	if($if_modified_since < $filetime) {
		//header('Last-Modified: '.gmdate('D, d M Y H:i:s', $filetime).' GMT', true);
	} else {
		//header('Last-Modified: '.gmdate('D, d M Y H:i:s', $filetime).' GMT', true, 304);
	}
} else {
	//header('Last-Modified: '.gmdate('D, d M Y H:i:s', $filetime).' GMT', true);
}
*/
ob_start("ob_gzhandler");
ob_start("compress");
function compress($buffer) {
	$buffer = preg_replace('#\s*//.*#', "", $buffer);
	$buffer = preg_replace('#\s*/\*.*?\*/\s*#i', "", $buffer);
	$buffer = preg_replace("/\s\s+/", " ", $buffer);
	return $buffer;  
}
include 'all.js';
ob_end_flush();